Analysis of boolean functions related to binary input binary output two-party nonlocal games

نویسندگان

چکیده

The famous CHSH game can be interpreted with Boolean functions while understanding the success probability in classical scenario. In this paper, we have exhaustively studied all on four variables to express binary input output two-party nonlocal games and explore their performance both quantum scenarios. Our analysis finds out some other (other than game) which offer a higher scenario as compared one. Naturally, our study also notes that (and corresponding similar partition) is most efficient terms of separation between techniques.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Minimizing ESCT forms for two-variable multiple-valued input binary output functions

As EXOR (Exclusive-OR) expansions of binary output functions, the ESOP (EXOR Sum of Products) form and its extension, the ESCT (EXOR Sum of Complex Terms) form, have been studied extensively in the literature. An efficient algorithm for minimizing ESOP forms is known for two-variable multiple-valued input functions. On the other hand, no ESCT minimization algorithm is known for such functions. ...

متن کامل

Binary decision diagrams for random Boolean functions

Binary Decision Diagrams (BDDs) are a data structure for Boolean functions which are also known as branching programs. In ordered binary decision diagrams (OBDDs), the tests have to obey a fixed variable ordering. In free binary decision diagrams (FBDDs), each variable can be tested at most once. The efficiency of new variants of the BDD concept is usually demonstrated with spectacular (worst-c...

متن کامل

Optimal robust quantum self-testing by binary nonlocal XOR games

Self-testing a quantum device means verifying the existence of a certain quantum state as well as the effect of the associated measurements based only on the statistics of the measurement outcomes. Robust, i.e., error-tolerant, self-testing quantum devices are critical building blocks for quantum cryptographic protocols that rely on imperfect or untrusted quantum devices. We give a criterion wh...

متن کامل

Optimal Robust Self-Testing by Binary Nonlocal XOR Games

Self-testing a quantum apparatus means verifying the existence of a certain quantum state as well as the effect of the associated measuring devices based only on the statistics of the measurement outcomes. Robust (i.e., error-tolerant) self-testing quantum apparatuses are critical building blocks for quantum cryptographic protocols that rely on imperfect or untrusted devices. We devise a genera...

متن کامل

A construction of binary linear codes from Boolean functions

Boolean functions have important applications in cryptography and coding theory. Two famous classes of binary codes derived from Boolean functions are the Reed-Muller codes and Kerdock codes. In the past two decades, a lot of progress on the study of applications of Boolean functions in coding theory has been made. Two generic constructions of binary linear codes with Boolean functions have bee...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Cryptography and Communications

سال: 2023

ISSN: ['1936-2455', '1936-2447']

DOI: https://doi.org/10.1007/s12095-023-00648-0